$\forall$$w$:World, $p$:FairFifo, $e$:E, $l$:IdLnk. w\_sends($e$;$l$) $=$ onlnk($l$;m(loc($e$);time($e$))) $\in$ Msg List